조합 논리에서 순차 논리로의 전환은 시스템의 과거 상태에 따라 출력이 결정되는 시간 차원을 도입합니다. 즉, 회로의 출력은 현재 입력값만으로 결정되지 않고, 시스템의 역사에도 영향을 받게 됩니다. 이러한 '기억'은 물리적·수학적으로 단위 시간 지연(\textit{unit time delay})에 뿌리를 두고 있습니다. 단위 시간 지연이라는 구성 요소는 모든 상태 기반 계산 모델의 기본 구조입니다.
조합 회로 대 비동기 회로
디지털 세계에서는 현재를 살아가는 시스템과 과거를 기억하는 시스템을 구분합니다:
- 조합 회로: 이들은 메모리가 없습니다. 위아래로만 작동하는 간단한 스위치와 마찬가지로, 출력은 현재 입력 값에만 의존합니다.
- 순차 회로: 이들은 피드백 루프를 사용하여 과거 입력을 현재 결정 과정에 포함시킵니다. 이로써 단순한 논리 게이트와 복잡한 유한 상태 기계 사이의 격차를 메울 수 있습니다.
정의 12.1.1
단위 시간 지연은 단위 시간 지연 시간 $t$에 입력된 비트 $x_t$를 받아들여, 시간 $t-1$에 입력된 비트 $x_{t-1}$를 출력하는 원시적인 구성 요소입니다.
상태의 개념
단위 시간 지연의 통합은 상태을 생성할 수 있게 합니다. 저장된 비트의 배열이 기계가 미래의 자극 시퀀스에 어떻게 반응할지를 결정합니다. 이러한 시퀀싱 없이는 계산이 정적 평가에 국한될 것입니다.
토글 스위치의 비유
한 개의 버튼이 조명을 켜고 끄는 디지털 '토글 스위치'를 생각해 보세요. 조합 회로는 버튼이 현재 누르고 있는지만 감지할 수 있습니다. 그러나 단위 시간 지연을 사용해 조명의 이전 상태($x_{t-1}$)를 저장하면, 버튼이 눌렸고 조명이 이전에 꺼져 있었다($x_{t-1}=0$)면 새로운 출력은 켜져야 한다($x_t=1$)는 것을 순차 회로가 판단할 수 있습니다.
🎯 핵심 원칙
컴퓨터 과학에서의 기억은 수학적으로 지연으로 표현됩니다. 순차 회로는 단위 시간 지연을 포함한 피드백 루프에 의해 조합 논리가 싸여진 것입니다.